Collaboration Technologies and Social Computing : 26th International Conference, CollabTech 2020, Tartu, Estonia, September 8–11, 2020, Proceedings
This book constitutes the proceedings of the 26th International Conference on Collaboration Technologies and Social Computing, ...
اقرأ المزيد
Command-Line Rust: A Project-Based Primer for Writing Rust CLIs / Ken Youens-Clark
Rather than focusing on the language as a whole, this guide teaches Rust using a single small, complete, focused program ...
اقرأ المزيدCommunicating, Networking: Interacting : The International Year of Global Understanding - IYGU
This book illustrates the benefits to be gained from digitally networked communication for health, education and transitioning ...
اقرأ المزيد
Communicating, Networking: Interacting : The International Year of Global Understanding - IYGU
illustrates the benefits to be gained from digitally networked communication for health, education and transitioning economies ...
اقرأ المزيد
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
اقرأ المزيد
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
اقرأ المزيد
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
اقرأ المزيد
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
اقرأ المزيد
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
اقرأ المزيد
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
اقرأ المزيد
Computer Algebra in Scientific Computing
This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC ...
اقرأ المزيد
Computer And Computing Technologies In Agriculture, Volume I : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
Computer And Computing Technologies In Agriculture, Volume II : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
Computer Supported Cooperative Work and Social Computing : 15th CCF Conference, ChineseCSCW 2020, Shenzhen, China, November 7–9, 2020, Revised Selected Papers
This book constitutes the refereed post-conference proceedings of the 15th CCF Conference on Computer Supported Cooperative ...
اقرأ المزيد
Computer Vision and Graphics
This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, ...
اقرأ المزيد
Computing Science, Communication and Security
This book constitutes revised selected papers of the Second International Conference on Computing Science, Communication ...
اقرأ المزيد
Computing Science, Communication and Security
This book constitutes revised selected papers of the First International Conference on Computing Science, Communication and ...
اقرأ المزيد
Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and ...
اقرأ المزيد
Coordination Models and Languages :22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...
اقرأ المزيد
Cryptology and Network Security
This book constitutes the refereed proceedings of the 19th International Conference on Cryptology and Network Security, CANS ...
اقرأ المزيد
